Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
461	Formal Verification of Netlog Protocols Meixian Chen Dpt of Computer Science, Shanghai Jiao Tong University Shanghai, China Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-14 09:29:57
462	Partners Austria Finland France Germany Add to Reading List Source URL: www.vismaster.eu Language: English - Date: 2013-03-19 13:10:47 Computer graphics Computational science Infographics Visualization Formal sciences Visual analytics Analytics VRVis Data mining Information visualization Learning analytics Prescriptive analytics
463	Translation of English into Logical Expressions V.R. Pratt A thesis submitted for the degree of Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-31 14:37:32 Syntax Formal languages Cognitive science Grammar Linguistics Language Noam Chomsky Context-free grammar Transformational grammar Formal grammar Phrase structure grammar Syntactic Structures
464	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
465	Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Predicate logic Frama-C Satisfiability modulo theories TPTP Mereology SPASS
466	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
467	LNCSA Tutorial on Satisfiability Modulo Theories Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Symbol Conjunctive normal form
468	Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal Add to Reading List Source URL: mws.cs.ru.nl Language: English - Date: 2014-07-28 07:40:40 Mathematics Automated theorem proving Theoretical computer science Logic Formal methods Artificial intelligence Automated reasoning Reasoning Mathematical proof Theorem Mizar Parsing
469	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
470	The SeaHorn Verification Framework (Invited Talk) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University USA Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2015-02-17 18:28:20 Software testing Formal methods Software verification Logic in computer science

UPDATE